- Variable apparente ou variable liée
-
Encyclopédie Universelle. 2012.
● Variable apparente ou variable liée celle qui figure dans une expression dont la valeur ne dépend pas de cette variable.
Encyclopédie Universelle. 2012.
apparenté — apparenté, ée [ aparɑ̃te ] adj. • 1225; de apparenter 1 ♦ Qui a des rapports de parenté. Il est apparenté à mon mari, de la même famille que lui. Ils sont apparentés. 2 ♦ Allié par l apparentement électoral. Listes apparentées. N. Parlementaire… … Encyclopédie Universelle
variable — [ varjabl ] adj. et n. • fin XII e; lat. variabilis 1 ♦ Qui est susceptible de se modifier, de changer souvent au cours d une durée. ⇒ changeant, 1. incertain, instable. Temps variable. N. m. Météor. L aiguille du baromètre est au variable, sur… … Encyclopédie Universelle
Variable apparente — ● Variable apparente synonyme de variable liée … Encyclopédie Universelle
apparent — apparent, ente [ aparɑ̃, ɑ̃t ] adj. • aparant 1155; p. prés. de apparoir 1 ♦ Qui apparaît, se montre clairement aux yeux. ⇒ ostensible, visible. Porter un insigne d une manière apparente. Grossesse peu apparente. C est très apparent (cf. Cela se… … Encyclopédie Universelle
Lambda-calcul — Le lambda calcul (ou λ calcul) est un système formel inventé par Alonzo Church dans les années 1930, qui fonde les concepts de fonction et d application. Il a été le premier formalisme utilisé pour définir et caractériser les fonctions récursives … Wikipédia en Français
Lambda-Calcul — « La notion de λ définissabilité fut la première de ce qui est accepté maintenant comme l équivalent exact des descriptions mathématiques pour lesquelles des algorithmes existent. » Stephen Kleene, in Origins of Recursive Function … Wikipédia en Français
Lambda calcul — « La notion de λ définissabilité fut la première de ce qui est accepté maintenant comme l équivalent exact des descriptions mathématiques pour lesquelles des algorithmes existent. » Stephen Kleene, in Origins of Recursive Function … Wikipédia en Français
Λ-calcul — Lambda calcul « La notion de λ définissabilité fut la première de ce qui est accepté maintenant comme l équivalent exact des descriptions mathématiques pour lesquelles des algorithmes existent. » Stephen Kleene, in Origins of… … Wikipédia en Français
LOGIQUE MATHÉMATIQUE — La logique au sens étroit du terme, c’est à dire la logique formelle par opposition à l’épistémologie ou à la théorie de la connaissance, se propose de donner une théorie de l’inférence formellement valide. Elle considère comme valide toute… … Encyclopédie Universelle
être lié — ● être lié verbe passif Dépendre étroitement de quelque chose, s y rattacher, y être uni par un lien logique : Le pouvoir d achat est lié aux conditions économiques du pays. Se rattacher à quelque chose dans un rapport affectif : Cette maison est … Encyclopédie Universelle